Logical implication definition

logical implication

conditional relation noun a logical relation between propositions p and q of the form `if p then q`; if p is true then q cannot be false
Found on https://www.encyclo.co.uk/local/20974

---